Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Completely updated for this exciting third edition, Beginning Ubuntu for Windows and Mac Users will help you start your journey into Free and Open Source Software with Ubuntu 22.04.1 LTS with GNOME 42. This book is a friendly guide to installing and running Ubuntu for people who are already efficient and happy with Windows or macOS computers. It teachers new Ubuntu users how to navigate their new operating system, perform basic tasks and suggests specific applications to handle routine tasks. You'll start by installing Ubuntu and its related "flavors" (Kubuntu, Ubuntu MATE, etc.) and how they differ from each other. The rest of the book breaks down application suggestions by broad categories to fill in gaps in the default installed system, or suggest fun things that the reader might not have even thought of. The command line is handled after you are comfortable with the system and ready for something interesting but different. It's presented as a powerful interface that can either be approached casually as a unique method of interacting with the computer, as an occasional tool to use, or as a fun way to get in touch with an early way of using a computer. A brief look at "power user" topics gives advice on managing running processes, installing alternate desktop software, using virtual desktops and creating virtual machines. It's a great way to round off the book with starting points for advanced topics that are more specialty topics. An appendix describes the Ubuntu release schedule, naming, and timing. The book is designed to function as a "travel guide" to Ubuntu, offering both a scenic tour through some of the great software in Ubuntu in a practical "here's what you can do with this" style as well as a comprehensive reference guide that the reader can return to over and over to learn how to accomplish specific tasks.

Open source software. --- Free software (Open source software) --- Open code software --- Opensource software --- Computer software --- Operating systems (Computers) --- Ubuntu (Electronic resource) --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Ubuntu Linux (Electronic resource)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Gain a solid understanding of how Linux C and C++ compilers generate binary code. This book explains the reversing and binary analysis of ARM64 architecture now used by major Linux cloud providers and covers topics ranging from writing programs in assembly language, live debugging, and static binary analysis of compiled C and C++ code. It is ideal for those working with embedded devices, including mobile phones and tablets. Using the latest version of Red Hat, you'll look closely at the foundations of diagnostics of core memory dumps, live and postmortem debugging of Linux applications, services, and systems. You'll also work with the GDB debugger and use it for disassembly and reversing. This book uses practical step-by-step exercises of increasing complexity with explanations and many diagrams, including some necessary background topics. In addition, you will be able to analyze such code confidently, understand stack memory usage, and reconstruct original C/C++ code. And as you'll see, memory forensics, malware, and vulnerability analysis, require an understanding of ARM64 assembly language and how C and C++ compilers generate code, including memory layout and pointers. This book provides the background knowledge and practical foundations you’ll need to understand internal Linux program structure and behavior. Foundations of ARM64 Linux Debugging, Disassembling, and Reversing is the perfect companion to Foundations of Linux Debugging, Disassembling, and Reversing for readers interested in the cloud or cybersecurity. You will: Review the basics of ARM64 assembly language Examine the essential GDB debugger commands for debugging and binary analysis Study C and C++ compiler code generation with and without compiler optimizations Look at binary code disassembly and reversing patterns See how pointers in C and C++ are implemented and used.

Open source software. --- Operating systems (Computers). --- Open Source. --- Operating Systems. --- Free software (Open source software) --- Open code software --- Opensource software --- Computer software --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Debugging in computer science. --- Operating systems (Computers) --- Linux. --- Computer programs --- Troubleshooting in computer science --- Data editing --- Electronic data processing --- Software failures --- Debugging --- Testing --- Slackware Linux --- SUSE Linux

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Discover the benefits of running Oracle databases in Linux containers. This book approaches containers from the perspective of database administrators, developers, and systems administrators. It explains the differences between containers and virtual machines and describes why containers deliver greater speed, flexibility, and portability, with lower resource requirements. You’ll learn how running Oracle databases in containers complements existing database infrastructure and accelerates development, and you’ll understand the advantages they offer for test and validation environments. This book teaches you how to begin working with Oracle databases in Docker, covering the steps for preparing and installing software on Windows, Mac, and Linux systems. It describes the steps for deploying Oracle databases, separating data and configurations from database software, and networking and communicating with your containers. It introduces the Docker commands you’ll use for managing containers, including tips and shortcuts to make everyday tasks easier. Databases have unique demands for performance and reliability, and this book addresses those qualities with discussions on protecting, persisting, and distributing data. Other books may overlook these topics and approach containers as disposable commodities in serverless environments or convenient coding platforms. You’ll gain battle-tested insights for customizing and extending your containers to meet different needs. The opening chapters concentrate on the practical steps of running Oracle databases in Docker. Once you’re comfortable with container terminology and methods, you’ll look deeper at the real power behind containers—preparing and building images, and the templates that form the foundation beneath every container. You’ll begin by modifying publicly available image manifests, or Dockerfiles, following multiple examples that add functionality and capabilities to your databases. You’ll discover methods for using run-time options to create flexible and extensible images that adapt to real-world requirements. Within the pages, you’ll see how Oracle and Docker empower you to confidently build and deploy systems. It’s written with databases and database users in mind and delivers practical advice based on the author’s real-world, battle-tested experiences deploying and running Oracle databases in containers since 2014. With Oracle databases in containers, database administrators have the ideal platform for evaluating performance, practicing database upgrades and migrations, validating backup and recovery processes, and hardening environments. Developers will find that the marriage of Oracle and Docker simplifies code and application tests. Docker’s unique ability to isolate data artifacts improves reliability and confidence in test and QA processes. If you’re a database administrator, this book will help you join the container revolution sweeping the industry and making IT professionals more productive than ever! What You Will Learn Recognize when and why to use containers for an Oracle database Understand container terminology and architecture Create and customize Oracle databases in containers Build and extend images and containers for multiple uses Store and persist data beyond the container ecosystem Use popular database tools with databases in containers Explore container networking and connect multiple container databases Manage, monitor, and secure containers Write Dockerfiles to support custom requirements Package and deploy data artifacts that accelerate development, test, and QA activities.

Database management. --- Database Management. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Operating systems (Computers) --- Linux. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Slackware Linux --- SUSE Linux --- Oracle (Computer file) --- Oracle7.3 --- Oracle 7.3 --- Personal Oracle7 --- Personal Oracle 7

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Diagnose, troubleshoot and repair any type of problems on your PC from startup and file access to cloud services and the issues caused by hybrid-work. This book contains everything you need to know to keep PC systems running optimally, and to repair problems quickly and efficiently. This book provides a deep dive into the Windows OS, detailing what everything is, and how it works. You will learn about the in-built, additional, and third-party tools and utilities you can use to create reliable, robust and secure PC systems. Further, you will learn how to configure Windows 11 so as to avoid problems occurring, and how to support every type of end user, working from home, or in any part of the world, speaking any language, and taking into account other factors such as ability or personal barriers. You will discover the support tools and support ecosystem you can use to create and manage effective support tracking and remote access. You will discover how to get detailed events and reliability information, and how to manage update channels. You will deep dive into Windows 11 operating system and folder structure and learn app and software troubleshooting, process and service troubleshooting, network and internet troubleshooting and hardware and peripherals troubleshooting. Finally, you will learn more advanced troubleshooting techniques like security and encryption troubleshooting and using PowerShell scripting to repair problems. Further, you will also learn how to manually remove malware and ransomware, registry troubleshooting and startup and repair troubleshooting. By the end, you will know how to troubleshoot complex problems and diagnose hardware problems in a PC. You will be able to troubleshoot and repair any type of problem on a Windows 11 PC. What Will You Learn How to support home and hybrid-workers using their own PCs Using scripting and PowerShell to troubleshoot and repair systems Managing networking and internet access to minimize downtime Managing installation and troubleshoot for updates and patches Who Is This Book For IT Pros and system administrators who have to maintain small or large networks of connected PCs locally at their organization, or with hybrid workers.

Operating systems (Computers) --- Management. --- Microsoft Windows (Computer file) --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Windows (Computer file) --- Chicago (Computer file) --- Microsoft Windows 95 --- Windows 95 --- Microsoft Windows CE --- Windows CE --- Pegasus (Computer file) --- Windows for workgroups --- Microsoft Windows for workgroups --- Windows 98 --- Microsoft Windows 98 --- Windows 2000 professional --- Windows 2000 --- Microsoft Windows 2000 --- Microsoft Windows Me millennium edition --- Windows Me --- Microsoft Windows XP (Computer file) --- Windows XP --- Microsoft Windows Vista --- Windows Vista --- Microsoft Windows 7 --- Windows 7 --- Windows 8 --- Windows 10 --- Microsoft software. --- Microsoft software --- Examinations --- Computer software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022. The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .

Software engineering. --- Operating systems (Computers). --- Computer networks. --- Computers, Special purpose. --- Computer systems. --- Microprogramming. --- Software Engineering. --- Operating Systems. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Computer System Implementation. --- Control Structures and Microprogramming. --- Computer programming --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure --- Special purpose computers --- Computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Information networks --- Telecommunication --- Electronic data processing --- Network computers --- Computer operating systems --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Distributed processing --- Operating systems --- Formal methods (Computer science) --- Object-oriented methods (Computer science)